(declare-fun b () Int)
(declare-fun c (Int Int) Int)
(declare-fun d (Int Int) Int)
(declare-fun q (Int) Int)
(declare-fun f (Int Int Int Int Int Int Int) Int)
(assert (forall ((a Int) (r Int) (g Int) (e Int) (h Int) (j Int) (k Int)) (= (= (f a r g e 0 j k) b) (and (= (q a) h) (forall ((i Int)) (= (c (c e a) i) k))))))
(declare-fun l (Int Int) Int)
(declare-fun m () Int)
(assert (forall ((n Int) (o Int)) (let ((p (l n o))) (= (d (q p) m) b))))
(check-sat)
